6

Using ASP for knowledge management with user authorization

Year:
2010
Language:
english
File:
PDF, 1019 KB
english, 2010
19

Test frame updating in CPM testing of Prolog programs

Year:
2008
Language:
english
File:
PDF, 462 KB
english, 2008
21

Abstract model checking for Web services

Year:
2008
Language:
english
File:
PDF, 319 KB
english, 2008
29

Diary of the Week

Year:
1981
Language:
english
File:
PDF, 148 KB
english, 1981
30

A GIPSY ENCAMPMENT.

Year:
1929
Language:
english
File:
PDF, 407 KB
english, 1929
33

Summarization of Boolean satisfiability verification

Year:
2014
Language:
english
File:
PDF, 240 KB
english, 2014